#unspecified
#unspecified
#unspecified
#unspecified
===========(17a)===========
(Processing:  (self- admiring yeti))

-------------------
edge      : 30 self- admiring yeti	(0 3)	(e \N t) 
semantics : (^ a ((yeti a) & (admire a a)))
proofnet  : (((1 . e) \N (2 . t)) (self- ((((1 . e) \N (2 . t)) / ((3 . e) \N (4 . t))) / (((5 . e) \ (6 . t)) / (7 . e)))) (admiring (((5 . e) \ (6 . t)) / (7 . e))) (yeti ((3 . e) \N (4 . t))))
derivation: ((self- admiring) yeti)
114 edges -- Done parsing.
#<output_port:stdout>
===========(17c)===========
(Processing:  (yeti who B _ admired himself))

-------------------
edge      : 395 yeti who B _ admired himself	(0 6)	(e \N t) 
semantics : (^ x ((yeti x) & (admire x x)))
proofnet  : (((1 . e) \N (2 . t)) (yeti ((3 . e) \N (4 . t))) (who ((((3 . e) \N (4 . t)) \ ((1 . e) \N (2 . t))) / ((5 . e) & (6 . t)))) (B ((((5 . e) & (6 . t)) // ((7 . e) \\ ((8 . e) > (9 . t)))) / (((5 . e) & (6 . t)) // ((10 . e) \\ (9 . t))))) (_ (((5 . e) & (6 . t)) // ((10 . e) \\ (9 . t)))) (admired (((7 . e) \ (9 . t)) / (11 . e))) (himself (((8 . e) > (9 . t)) // ((11 . e) \\ (9 . t)))))
derivation: ((D (U yeti)) ((D (U who)) ((D (U D)) (((D (U S)) ((Z (U L)) (B _))) ((Z (U admired)) (D (U himself)))))))
590 edges -- Done parsing.
#<output_port:stdout>

===== In accordance with the design, the semantic values are alphabetic variants.=====
